@TechReport{bek4tr,
  title        = {Data-Parallel String-Manipulating Programs},
  author       = {Margus Veanes and David Molnar and Todd Mytkowicz and Benjamin Livshits},
  year         = 2012,
  month        = jul,
  institution  = "Microsoft Research",
  number       = "MSR-TR-2012-72",
}